Computer Control Systems With Critical Safety Applications: Problems And Some Solutions
نویسندگان
چکیده
منابع مشابه
Designing Safety-Critical Computer Systems
40 Computer Designing Safety-Critical Computer Systems T he ubiquitous computer is firmly established as the electronic component of choice for designing systems that control safety-critical applications. Such applications can be found everywhere: aircraft fly-by-wire controls, oil and chemical processing, hospital life-support systems, manufacturing robotics, and countless other commercial and...
متن کاملDesigning Intelligent Control Systems for Safety Critical Applications
This paper presents a design methodology for behaviourbased intelligent control systems, which we argue is suited to safety critical applications. The methodology has a formal basis, and uses dynamical systems theory to prove system safety properties that are expressed in terms of Lyapunov stability. We propose a new computational model for implementation of these systems, which offers a reduct...
متن کاملEmbedded Control Systems: Some Issues and Solutions
Embedded control systems are becoming ubiquitous in control applications. They combine the properties of computer embedded system with newly designed complex controllers where flexible, safe and reconfigurable operations are required. The aim of this paper is to grasp the main features of these systems, analyse the main problems and present some solutions already developed by the authors. A new...
متن کاملOperating Systems for Safety - Critical Applications
Areas of computer applications are far wider than what people normally imagine. Besides the visible applications like word processing and the Internet access using your desktop computer, computer applications cover a vast spectrum of areas, from nuclear reactor and aircraft control systems, to vehicle antilock brake systems (ABS) and electronic toys like play stations. Some of these application...
متن کاملSome Solutions , Some Problems , and Some
This is a slightly expanded written version of a plenary lecture given at the 20th IEEE Conference on Decision and Control, December 198 1, San Diego, CA. This talk is intended to help spark discussion among researchers in decision, control and estimation about the status of research in the field and of promising new directions for research. One such direction, model-based signal processing, is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JITA - Journal of Information Technology and Applications (Banja Luka) - APEIRON
سال: 2018
ISSN: 2233-0194,2232-9625
DOI: 10.7251/jit1702061h